Skip to content

polish rust#1790

Merged
krahets merged 2 commits into
krahets:mainfrom
rongyi:main
Aug 4, 2025
Merged

polish rust#1790
krahets merged 2 commits into
krahets:mainfrom
rongyi:main

Conversation

@rongyi

@rongyi rongyi commented Jul 30, 2025

Copy link
Copy Markdown
Contributor

rust code minor update

@krahets krahets left a comment

Copy link
Copy Markdown
Owner

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Thank you @rongyi !

@krahets krahets added code Code-related polish Decorative detail or feature labels Aug 4, 2025
@krahets krahets merged commit 0918fd0 into krahets:main Aug 4, 2025
4 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

code Code-related polish Decorative detail or feature

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants